Combination of Behavioral and Parametric Diagrams for Model-based Testing Technical Report December 2015
نویسندگان
چکیده
Model-based testing is a promising approach to cope with the complexity of nowadays systems. It shifts the effort from manual test case specification to the modeling of the system’s behavior and enables automated test case generation. System behavior is often modeled by state machines. However, state machines are not appropriate to model all kinds of behavior. This work combines state machines and parametric diagrams of the Systems Modeling Language (SysML) to allow a higher degree of abstraction. This is shown by application to a real-word example: a safety function of the European Train Control System (ETCS).
منابع مشابه
Designing and Testing a Causal Model of Academic Adjustment Based on Behavioral Emotion Regulation with the Mediating Role of Mindfulness in Orphan and Poorly Supervised Students: A Descriptive Study
Background and Objectives: The educational, social, and psychological problems of Orphan and poorly supervised students need special attention. Therefore, the present study was performed with the aim of designing and testing the casual model of academic adjustment based on behavioral emotion regulation with the mediating role of mindfulness in orphan and poorly supervised students. Materials a...
متن کاملMapping of McGraw Cycle to RUP Methodology for Secure Software Developing
Designing a secure software is one of the major phases in developing a robust software. The McGraw life cycle, as one of the well-known software security development approaches, implements different touch points as a collection of software security practices. Each touch point includes explicit instructions for applying security in terms of design, coding, measurement, and maintenance of softwar...
متن کاملThermodynamic Analysis and Optimization of a Novel Cogeneration System: Combination of a gas Turbine with Supercritical CO2 and Organic Rankine Cycles (TECHNICAL NOTE)
Thermodynamic analysis of a novel combined system which is combination of methane fired gas turbine cogeneration system (CGAM) with a supercritical CO2 recompression Brayton cycle (SCO2) and an Organic Rankine Cycle (ORC) is reported. Also, a comprehensive parametric study is performed to investigate the effects on the performance of the proposed system of some important parameters. Finally, a ...
متن کاملTesting Weak-Form Efficient Capital Market Case Study: TSE and DJUS Indices
The present study investigated weak-form market information efficiency in Tehran security exchange (TSE) as an emerging market and in Dow Jones United States security exchange (DJUS) as a developed market based on random walk model. In each market, the random walk model was examined using daily and monthly returns of a set of indices. The results of the parametric and non-parametric tests indic...
متن کاملComparing two testing procedures in unbalanced two-way ANOVA models under heteroscedasticity: Approximate degree of freedom and parametric bootstrap approach
The classic F-test is usually used for testing the effects of factors in homoscedastic two-way ANOVA models. However, the assumption of equal cell variances is usually violated in practice. In recent years, several test procedures have been proposed for testing the effects of factors. In this paper, the two methods that are approximate degree of freedom (ADF) and parametric bootstr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016